1. Baltic Computer Science :
پدیدآورنده: by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
2. Formal specification and software development
پدیدآورنده: Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
3. Formal specification and software development
پدیدآورنده: Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
4. Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
پدیدآورنده: Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer systems
رده :
QA
76
.
L28
Vol
.
1755
5. Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996 : proceedings
پدیدآورنده: Dines Bjorner, Manfred Broy, Igor V. Pottosin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ershov, Andrei Petrovich,Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1181
6. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
پدیدآورنده: Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
2244
7. Software engineering. Domains, Requirements, and Software Design With 100 Figures
پدیدآورنده: Bjorner, D.)Dines(,7391-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Computer programming
رده :
QA
76
.
758
.
B56
2006
8. Towards an formal description of Ada
پدیدآورنده: Bjorner, Dines, 7391- ed
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(
رده :
QA
76
.
73
.
A35
.
B5
9. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
پدیدآورنده: BJORNER,DINES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
رده :
QA
76
.
76
.
D47
V85
1987
